logical relation

nouns

a relation between propositions
domain category
the branch of philosophy that analyzes inference
is a type of (narrower)
an abstraction belonging to or characteristic of two entities or parts together